<html>
<body>
<p>Reports unnecessary <code>final</code> modifiers when used with the record definition.</p>
<p><b>Example:</b></p>
<pre><code>
  <b>final</b> record R(int a) {} // modifier is unnecessary
</code></pre>
</body>
</html>
